Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Electronic Semiconductors, Components and Circuits, Integrated Systems, Sensor Technology, Theoretical Electrical Engineering,Software Engineering and Programming Languages |
| Keywords | quantified Boolean formula (QBF), verification, satisfiability (SAT), synthesis, dependency quantified Boolean formula (DQBF) |
| Honours and awards | 2017: Humboldt Fellowship for Experienced Researchers 2016: Teaching Excellence Award, National Taiwan University 2014: Teaching Excellence Award, National Taiwan University 2013: Academic Excellence Award, College of EECS, National Taiwan University 2013: Teaching Excellence Award, National Taiwan University 2012: Distinguished Young Scholar Award, Taiwan IC Design Society 2011: Academic Excellence Award, College of EECS, National Taiwan University |
Current contact address
| Country | Republic of China (Taiwan) |
|---|---|
| City | Taipei |
| Institution | National Taiwan University |
| Institute | Department of Electrical Engineering |
| Homepage | http://cc.ee.ntu.edu.tw/~jhjiang/ |
Host during sponsorship
| Prof. Dr. Christoph Scholl | Technische Fakultät, Albert-Ludwigs-Universität Freiburg, Freiburg |
|---|---|
| Start of initial sponsorship | 01/06/2018 |
Programme(s)
| 2017 | Humboldt Research Fellowship Programme for Experienced Researchers |
|---|